Actin - Technical Report
نویسنده
چکیده
The Boolean satisfiability problem (SAT) can be solved efficiently with variants of the DPLL algorithm. For industrial SAT problems, DPLL with conflict analysis dependent dynamic decision heuristics has proved to be particularly efficient, e.g. in Chaff. In this work, algorithms that initialize the variable activity values in the solver MiniSAT v1.14 by analyzing the CNF are evolved using genetic programming (GP), with the goal to reduce the total number of conflicts of the search and the solving time. The effect of using initial activities other than zero is examined by initializing with random numbers. The possibility of countering the detrimental effects of reordering the CNF with improved initialization is investigated. The best result found (with validation testing on further problems) was used in the solver Actin, which was submitted to SAT-Race 2006.
منابع مشابه
Plasmacytoid Myoepithelioma of the Palate with Rapid Growth: A Case Report
Myoepitheliomas are benign tumors which account for less than 1% of all salivary gland tumors. In this article, we report the clinical, pathologic, and immunohistochemical features of plasmacytoid myoepithelioma of the hard palate in a 73-year-old man having a painless hard palate mass with progressiv...
متن کاملActin Dosage Lethality Screening in Yeast Mediated by Selective Ploidy Ablation Reveals Links to Urmylation/Wobble Codon Recognition and Chromosome Stability
The actin cytoskeleton exists in a dynamic equilibrium with monomeric and filamentous states of its subunit protein actin. The spatial and temporal regulation of actin dynamics is critical to the many functions of actin. Actin levels are remarkably constant, suggesting that cells have evolved to function within a narrow range of actin concentrations. Here we report the results of screens in whi...
متن کاملNew single-molecule speckle microscopy reveals modification of the retrograde actin flow by focal adhesions at nanometer scales
Speckle microscopy directly visualizes the retrograde actin flow, which is believed to promote cell-edge protrusion when linked to focal adhesions (FAs). However, it has been argued that, due to rapid actin turnover, the use of green fluorescent protein-actin, the lack of appropriate analysis algorithms, and technical difficulties, speckle microscopy does not necessarily report the flow velocit...
متن کاملPrimary Leiomyosarcoma of the Kidney : A Case Report and Review of Literature
Primary sarcomas of the kidney are exceptional. Among renal sarcomas, leiomyosarcoma is the most common histologic subtype amounting to 50-60% of all cases. The tumor usually arises from either the renal capsule or smooth muscle tissue in the renal pelvic wall. In this paper, we report a patient with leiomyosarcoma of the kidney presented with non-specific abdominal pain and a palpable mass....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0705.1481 شماره
صفحات -
تاریخ انتشار 2006